제네릭 컬렉션

제네릭 컬렉션의 가장 중요한 목적 중 하나는 타입 안정성을 보장하는 것이다. 제네릭이 도입되기 전에는 컬렉션 프레임워크에 다양한 객체를 저장할 수 있었지만, 이는 런타임에 형변환 오류가 발생할 위험을 내포하고 있었다. 예를 들어, 문자열만 담고자 하는 리스트에 실수로 다른 타입의 객체가 추가되어도 컴파일 시점에는 오류를 감지할 수 없었다.

제네릭을 사용하면 컬렉션이 다루는 객체의 타입을 컴파일 시점에 명시적으로 지정할 수 있다. 이로 인해 컴파일러는 지정된 타입과 일치하지 않는 코드를 사전에 검출하여 오류를 발생시킨다. 즉, 컬렉션에 잘못된 타입의 요소가 추가되거나, 요소를 꺼낼 때 기대하지 않은 타입으로 형변환을 시도하는 상황을 원천적으로 방지한다.

이러한 타입 안정성은 소프트웨어의 신뢰성을 크게 향상시킨다. 런타임에 발생하는 ClassCastException과 같은 오류를 컴파일 단계로 앞당겨 발견함으로써, 프로그램의 견고성을 높이고 디버깅 시간을 단축하는 데 기여한다. 결과적으로 개발자는 의도한 데이터 타입으로만 컬렉션이 동작한다는 확신을 가지고 코드를 작성할 수 있게 된다.

형식 매개변수는 제네릭 클래스나 메서드를 정의할 때 사용되는 플레이스홀더이다. 이는 클래스나 메서드 내부에서 사용될 구체적인 데이터 타입을 선언 시점이 아닌 사용 시점에 지정할 수 있게 해준다. 예를 들어, List<E>에서 E가 형식 매개변수이며, 이를 List<String>으로 사용하면 E가 String 타입으로 구체화된다. 이를 통해 동일한 클래스 구조를 다양한 타입에 재사용할 수 있는 일반화된 코드 작성이 가능해진다.

형식 매개변수는 주로 대문자 한 글자(E, T, K, V 등)로 명명하는 것이 관례이다. E는 컬렉션의 요소(Element)를, T는 타입(Type)을, K와 V는 맵의 키(Key)와 값(Value)을 의미한다. 자바에서는 제네릭 클래스를 인스턴스화할 때 다이아몬드 연산자 <>를 사용하여 형식 매개변수에 구체적인 타입 인수를 제공한다. 이 과정을 타입 매개변수화 또는 구체화라고 한다.

형식 매개변수를 사용하면 컴파일 타임에 타입 검사가 이루어져 타입 안정성을 높일 수 있다. 또한, 컬렉션에서 요소를 꺼낼 때 명시적인 형변환이 필요 없어져 코드가 간결해진다. 제네릭 메서드에서는 메서드의 반환 타입이나 매개변수 타입을 형식 매개변수로 일반화할 수 있어, 다양한 타입을 처리하는 유틸리티 기능을 안전하게 구현하는 데 유용하다.

와일드카드는 제네릭 타입을 더욱 유연하게 사용할 수 있도록 하는 문법 요소이다. 구체적인 타입 대신 물음표(?)를 사용하여 표현하며, 알 수 없는 타입이나 다양한 타입을 수용할 수 있게 한다. 와일드카드는 주로 메서드의 매개변수나 변수의 타입을 선언할 때 사용되어, 특정 타입에 제한되지 않는 범용적인 코드를 작성하는 데 도움을 준다.

와일드카드는 크게 세 가지 형태로 구분된다. 첫째는 '비한정 와일드카드'로, <?>와 같이 표현하며 모든 타입을 허용한다. 둘째는 '상한 경계 와일드카드'로, <? extends T>와 같이 표현하여 특정 클래스 T와 그 하위 클래스만을 허용한다. 셋째는 '하한 경계 와일드카드'로, <? super T>와 같이 표현하여 특정 클래스 T와 그 상위 클래스만을 허용한다. 이 중 extends 와일드카드는 주로 데이터를 읽어오는(producer) 상황에서, super 와일드카드는 데이터를 넣는(consumer) 상황에서 사용되는 것이 일반적인 원칙이다.

와일드카드를 사용함으로써 제네릭 프로그래밍의 재사용성을 높일 수 있다. 예를 들어, List<Number>와 List<Integer>는 서로 다른 타입으로 간주되지만, List<? extends Number>라는 매개변수를 사용하면 두 컬렉션을 모두 처리할 수 있는 메서드를 만들 수 있다. 이는 타입 안정성을 유지하면서도 코드의 유연성을 확보하는 중요한 방법이다.

그러나 와일드카드는 지나치게 복잡한 타입 추론을 야기할 수 있어 코드의 가독성을 떨어뜨릴 수 있다는 단점도 있다. 또한, 비한정 와일드카드가 사용된 컬렉션에는 null 외의 요소를 추가할 수 없는 등의 제약이 따르므로, 사용 시 주의가 필요하다.

제네릭 컬렉션에서 List 인터페이스는 순서가 있는 데이터의 집합을 나타내는 핵심 컬렉션 프레임워크이다. 제네릭을 사용하여 선언된 List는 특정 타입의 요소만을 저장하고 반환할 수 있어 타입 안정성을 제공한다. 예를 들어, List<String>은 문자열 객체만을 담을 수 있는 리스트를 의미하며, 컴파일 시점에 타입 불일치 오류를 검출할 수 있다.

List 인터페이스의 주요 구현체로는 ArrayList, LinkedList, Vector 등이 있다. ArrayList는 내부적으로 배열을 사용하여 구현되어 인덱스를 통한 빠른 임의 접근이 가능하다. LinkedList는 이중 연결 리스트로 구현되어 리스트의 시작이나 끝에서 요소를 추가하거나 삭제하는 연산이 효율적이다. Vector는 스레드 안전한 동기화된 구현체이나, 성능상의 이유로 현대 코드에서는 ArrayList가 더 널리 사용된다.

이러한 구현체들은 모두 제네릭 타입 매개변수를 받아 생성된다. 사용자는 필요에 따라 List<Integer>, List<사용자정의클래스>와 같이 구체적인 타입을 지정하여 컬렉션을 생성할 수 있다. 이를 통해 컬렉션에서 요소를 꺼낼 때 명시적인 형변환이 필요 없어지고, 잘못된 타입의 객체가 추가되는 것을 방지한다.

List와 그 구현체들은 데이터의 순서를 유지하고 중복 요소를 허용한다는 공통점을 가지며, 제네릭을 통해 구현 세부사항을 노출하지 않고도 다양한 데이터 타입에 대해 재사용 가능한 강력한 추상 데이터 타입을 제공한다.

Set 인터페이스는 자바 컬렉션 프레임워크의 핵심 구성 요소로, 중복된 요소를 허용하지 않는 컬렉션을 정의한다. 제네릭을 사용하여 선언되므로, 특정 타입의 객체만을 저장하는 타입 안전한 Set을 생성할 수 있다. 주요 메서드로는 요소 추가(add), 삭제(remove), 포함 여부 확인(contains) 등이 있으며, 수학의 집합 연산과 유사한 기능을 제공한다.

주요 구현체로는 HashSet, LinkedHashSet, TreeSet이 있다. HashSet은 해시 테이블을 기반으로 하여 요소를 저장하며, 가장 빠른 성능을 제공하지만 요소의 순서를 보장하지 않는다. LinkedHashSet은 HashSet의 성능을 유지하면서도 요소가 추가된 순서를 유지한다. TreeSet은 레드-블랙 트리 자료구조를 사용하며, 요소를 자동으로 정렬된 상태로 유지한다.

각 구현체는 특정한 사용 사례에 적합하다. 순서가 중요하지 않고 빠른 검색이 필요할 때는 HashSet을 사용한다. 삽입 순서를 유지해야 할 경우 LinkedHashSet이 적합하다. 요소를 자연스러운 순서(Comparable)나 지정된 Comparator에 따라 정렬된 상태로 유지해야 한다면 TreeSet을 선택한다. 이러한 구현체들은 모두 제네릭 타입 매개변수를 사용하여 타입 안정성을 확보한다.

Map 인터페이스는 키와 값의 쌍으로 데이터를 저장하는 컬렉션 프레임워크의 핵심 구성 요소이다. 제네릭이 도입되기 전에는 키와 값의 타입이 Object로 통일되어 있어, 저장 시와 꺼낼 때마다 명시적인 형변환이 필요했으며, 잘못된 타입의 객체를 저장할 위험이 있었다. 제네릭을 적용한 Map<K, V>는 컴파일 시점에 키의 타입(K)과 값의 타입(V)을 명시함으로써 이러한 문제를 해결한다. 이를 통해 컬렉션에 저장되는 객체의 타입 안정성이 크게 향상되며, 꺼낸 객체를 바로 사용할 수 있어 코드가 간결해진다.

주요 구현체로는 HashMap, TreeMap, LinkedHashMap 등이 있다. HashMap은 해시 테이블을 기반으로 하여 키-값 쌍을 저장하며, 대부분의 경우 상수 시간(O(1))에 가까운 성능으로 데이터에 접근할 수 있어 가장 널리 사용된다. TreeMap은 레드-블랙 트리 자료구조를 구현하며, 키를 기준으로 정렬된 상태를 유지한다는 특징이 있다. LinkedHashMap은 HashMap의 성능을 유지하면서도, 키-값 쌍이 삽입된 순서 또는 최근 접근 순서를 기억할 수 있어 특정 순서로의 순회가 필요할 때 유용하다.

이러한 Map 구현체들은 모두 제네릭 타입 매개변수를 사용하여 구체화된다. 예를 들어, 문자열을 키로 하고 정수를 값으로 하는 맵은 Map<String, Integer>로 선언한다. 이 선언은 컴파일러에게 해당 맵이 오직 String 타입의 키와 Integer 타입의 값만을 처리해야 함을 알려주며, 다른 타입의 객체를 추가하려고 하면 컴파일 오류를 발생시킨다. 이는 런타임 시 발생할 수 있는 ClassCastException을 사전에 방지하는 핵심 메커니즘이다.

Queue 인터페이스는 자바 컬렉션 프레임워크에서 선입선출 방식의 데이터 처리를 위한 추상 자료형을 정의한다. 제네릭을 사용하여 구현된 Queue<E> 인터페이스는 요소의 타입을 형식 매개변수 E로 지정함으로써, 큐에 저장되는 객체의 타입을 컴파일 시점에 보장한다. 이를 통해 String 객체만 다루는 큐, Integer 객체만 다루는 큐 등 타입별로 안전한 자료구조를 생성할 수 있다.

주요 구현체로는 LinkedList, ArrayDeque, PriorityQueue 등이 있다. LinkedList는 이중 연결 리스트를 기반으로 한 구현체이며, List 인터페이스도 구현하고 있어 유연성이 높다. ArrayDeque는 배열을 사용한 양방향 큐로, 스택으로서의 사용도 가능하며 일반적으로 더 나은 성능을 제공한다. PriorityQueue는 힙 자료구조를 기반으로 하여 요소들이 자연스러운 순서나 지정된 컴퍼레이터에 따라 정렬되어 처리된다.

이러한 구현체들은 모두 제네릭 타입을 사용하므로, 사용 시점에 구체적인 타입을 지정해야 한다. 예를 들어, Queue<String> messageQueue = new LinkedList<>();와 같이 선언하면 해당 큐는 String 타입의 요소만 추가하거나 꺼낼 수 있게 되어 타입 안정성을 확보한다. 또한 와일드카드를 활용하면 특정 타입의 하위 타입을 허용하는 유연한 메서드나 변수를 설계할 수 있다.